signature X86ASM_MAIN_STRUCTS =
sig
  structure Machine : MACHINE
  structure X86Asm : X86ASM
  sharing X86Asm.Atoms = Machine.Atoms
  sharing X86Asm.Types = Machine.Types
end

signature X86ASM_MAIN =
sig
  include X86ASM_MAIN_STRUCTS
  
  val trans : Machine.Program.t -> X86Asm.Program.t
end
